1. 2, 2011, Revised Selected Papers-Ferrand, France, September 1-FM 2011, Clermont-Web Services and Formal Methods: 8th International Workshop, WS
پدیدآورنده: / Marc Petit (eds.)-Kohei Honda (auth.), Marco Carbone, Jean
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
